case axiom

情态公理